extension | φ:Q→Out N | d | ρ | Label | ID |
(D5xC22:C4):1C2 = D5xC22wrC2 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 40 | | (D5xC2^2:C4):1C2 | 320,1260 |
(D5xC22:C4):2C2 = C24:3D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):2C2 | 320,1261 |
(D5xC22:C4):3C2 = C24.33D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):3C2 | 320,1263 |
(D5xC22:C4):4C2 = D5xC4:D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):4C2 | 320,1276 |
(D5xC22:C4):5C2 = C10.402+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):5C2 | 320,1282 |
(D5xC22:C4):6C2 = D20:20D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):6C2 | 320,1284 |
(D5xC22:C4):7C2 = C10.422+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):7C2 | 320,1285 |
(D5xC22:C4):8C2 = D20:21D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):8C2 | 320,1302 |
(D5xC22:C4):9C2 = C10.532+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):9C2 | 320,1309 |
(D5xC22:C4):10C2 = D5xC22.D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):10C2 | 320,1324 |
(D5xC22:C4):11C2 = C10.1202+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):11C2 | 320,1325 |
(D5xC22:C4):12C2 = C10.1212+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):12C2 | 320,1326 |
(D5xC22:C4):13C2 = C10.612+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):13C2 | 320,1329 |
(D5xC22:C4):14C2 = C10.1222+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):14C2 | 320,1330 |
(D5xC22:C4):15C2 = C10.622+ 1+4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):15C2 | 320,1331 |
(D5xC22:C4):16C2 = D5xC4.4D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):16C2 | 320,1345 |
(D5xC22:C4):17C2 = D20:10D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):17C2 | 320,1348 |
(D5xC22:C4):18C2 = C42:20D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):18C2 | 320,1350 |
(D5xC22:C4):19C2 = C42:21D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):19C2 | 320,1351 |
(D5xC22:C4):20C2 = C42:23D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):20C2 | 320,1376 |
(D5xC22:C4):21C2 = C42:24D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):21C2 | 320,1377 |
(D5xC22:C4):22C2 = D5xC23:C4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 40 | 8+ | (D5xC2^2:C4):22C2 | 320,370 |
(D5xC22:C4):23C2 = C24.24D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):23C2 | 320,1158 |
(D5xC22:C4):24C2 = C24.27D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):24C2 | 320,1162 |
(D5xC22:C4):25C2 = C42:7D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):25C2 | 320,1193 |
(D5xC22:C4):26C2 = C42:10D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):26C2 | 320,1199 |
(D5xC22:C4):27C2 = C42:11D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):27C2 | 320,1217 |
(D5xC22:C4):28C2 = D20:23D4 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):28C2 | 320,1222 |
(D5xC22:C4):29C2 = C42:16D10 | φ: C2/C1 → C2 ⊆ Out D5xC22:C4 | 80 | | (D5xC2^2:C4):29C2 | 320,1228 |
(D5xC22:C4):30C2 = C4xD4xD5 | φ: trivial image | 80 | | (D5xC2^2:C4):30C2 | 320,1216 |